Higher-order logic - PDFSEARCH.IO - Document Search Engine

Higher-order logic
Results: 178

#	Item
71	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing
72	SILK is here! Semantic Web Rules with Defeasibility, Higher-Order, and Scalability SILK is a … • Powerful rule knowledge representation (KR) language and system, with reasoner, UI, and interchange. It includes the RI Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-11-07 01:29:55 Artificial intelligence Science Knowledge Logic programming Semantic reasoner Defeasible reasoning Knowledge representation and reasoning Rule Interchange Format Book:Semantic Web Reasoning Semantic Web Knowledge representation
73	The SILK System: Scalable Higher-Order Defeasible Rules Benjamin Grosof1 , Mike Dean2 , and Michael Kifer3 1 Vulcan Inc., Seattle, Washington, USA, Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2009-09-11 18:29:06 Information science Knowledge representation Reasoning Knowledge engineering Rule Interchange Format Semantic reasoner Ontoprise GmbH F-logic Web Ontology Language Semantic Web Science Knowledge
74	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science First-order logic Isabelle Higher-order logic HOL Modal logic Unification Natural deduction Type theory Logic Mathematical logic Theoretical computer science
75	Isabelle/UTP: Mechanised Theory Engineering for Computer Scientists Simon Foster (with Frank Zeyda) University of York May 7, 2013 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-07-12 06:22:09 Predicate logic Semantics Program logic Predicate Propositional calculus Quantification Higher-order logic Isabelle Denotational semantics Logic Mathematical logic Mathematics
76	Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:16 Logic in computer science Mathematical logic Type theory Dependently typed programming Higher-order functions Append Curry–Howard correspondence Curry Structural induction Software engineering Computing Computer programming
77	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
78	1 2 Implementing Semantic Theories Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 04:07:07 Literate programming Functional languages Higher-order functions Models of computation Logic programming Unification Lambda calculus Prolog Haskell Software engineering Computing Computer programming
79	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
80	542 Book Reviews to distinguish the self-representational theory from the higher-order view. But even so, Subjective Consciousness is an important piece in the dialectical Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2011-09-16 06:11:55 Philosophical logic Ontology Veracity Philosophy of language Possibility Truthmaker Truth-bearer Truth Trenton Merricks Logic Philosophy Metaphysics

UPDATE